/*
 * Axiom.h
 *
 *  Created on: Apr 30, 2012
 *      Author: kobe
 */

#ifndef AXIOM_H_
#define AXIOM_H_

#include "Sequent.h"
#include <string>

class Axiom {
public:
	Axiom();
	virtual ~Axiom();
	virtual bool test(Sequent);
	virtual std::string toLatex();
};

#endif /* AXIOM_H_ */
